Skip to content

Docs and ci#7

Merged
Damirados merged 4 commits into
mainfrom
docs-and-ci
Apr 8, 2026
Merged

Docs and ci#7
Damirados merged 4 commits into
mainfrom
docs-and-ci

Conversation

@Damirados

Copy link
Copy Markdown
Collaborator

No description provided.

Make the README the primary user guide and remove duplicate example pages from the generated docs.
Clarify runtime terminology and drop references to public examples that now live in the README.
Automate local and GitHub checks with a shared ci-tests.sh entrypoint and publish Hex releases from version tags. Add the package metadata and small Credo/Dialyzer fixes needed for the release pipeline to pass cleanly.
Surface the package, docs, CI, and license status from the project homepage so the release and workflow metadata are visible immediately.
@Damirados Damirados merged commit 40a260c into main Apr 8, 2026
1 check failed
@Damirados Damirados deleted the docs-and-ci branch April 8, 2026 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant